Section: Partnerships and Cooperations
International Initiatives
INRIA International Partners
-
Department of Computer and Information Science, University of Pennsylvania. There has been several collaborations in the past. Presently M. Gaboardi is a long-term visiting researcher in the programming language group, working on resource control and programming languages.
Visits of International Scientists
Ferret's visit below has also been used to give a short intensive course on abstract interpretation for PhD students in Bologna.
-
Beniamino Accattoli, LIX, Polytechnique Paris. June 6-9 and October 24-28. Topic: the complexity of beta reduction in the lambda calculus.
-
Matteo Cimini, Icelanding Center of Excellence in Theoretical Computer Science, Reykjavik, 1 week in December. Topic: logics for concurrent languages.
-
Giorgio Delzanno, University of Genova. 2-day visit. Topic: Verification of protocols for Mobile Ad Hoc Networks.
-
Claudia Faggian, PPS Paris 7, July 18-21 and October 3-7. Topic: linear logic and quantum computation
-
Jerome Ferret, ENS Paris and INRIA, 1 week. Topic: abstract interpretation.
-
Paolo di Giamberardino, University of Rome "La Sapienza", September 19-23. Topic: soft session types.
-
Harry Mairson, Brandeis University, USA. February 4-16. Topic: the complexity of evaluation in the simply typed lambda calculus.
-
Matias David Lee. Currently PhD student at Universidad Nacional de Córdoba, Argentina. Arrived in November 2001 for a long-term visit (6 months).
-
Damiano Mazza, CNRS and Paris 13. October 17-20. Topic: computational complexity in a concurrency scenario.
-
Claudio Mezzina, Inria Grenoble, a few visits throughout the year, two months in total. Topic: constructs for reversible computations.
-
Jean-Bernard Stefani, Inria Grenoble, two 2-day visits. Topic: models for components and reversibility.
Other cooperations
We list here the cooperations and contacts with other groups, without repeating those already listed in previous sections.
-
Inria EPI Indes, (on orchestration and programming languages). A common meeting was organised in Sophia Antipolis, May 2011, where 8 people from Focus and almost everybody from Indes participated.
Focus and Indes have moreover significantly contributed to the “Programming language day”, May 31, 2011, Amphi Morgenstern, INRIA Sophia Antipolis – Méditerranée.
-
Inria EPI Sardes (on models and languages for components, reversibility). Contact person(s) in Focus: Lanese, Sangiorgi. A number of visits in both directions. One joint PhD supervision (C. Mezzina).
-
ENS Lyon (on concurrency models and resource control). Contact person(s) in Focus: Dal Lago, Gaboardi, Martini, Sangiorgi. Several visit exchanges during the year, in both directions. One joint PhD supervision (J.-M. Madiot, starting in September 2011).
-
Laboratoire d'Informatique, Université Paris Nord, Villetaneuse (on implicit computational complexity). Contact person(s) in Focus: Dal Lago, Gaboardi, Martini. Several visit exchanges during the year, in both directions. An Italian PhD student (Marco Solieri) will soon start a PhD thesis with joint supervision. Gaboardi has made a 2-month visit.
-
Team PPS, University of Paris-Diderot Paris 7 (on logics for processes, resource control). Contact person(s) in Focus: Dal Lago, Gaboardi, Martini, Sangiorgi, Zavattaro. Various short visits in both directions during the year.
-
Research Institute for the Mathematical Sciences – RIMS – University of Kyoto, Japan (on typing and resource control). Contact person(s) in Focus: Dal Lago. A 2-week exchange (Dal Lago) in 2011.
-
Computer Science Department, Brandeis University, USA (on complexity of evaluation in functional programming languages). Contact person(s) in Focus: Dal Lago, Martini. A 2-week visit exchange (Mairson) in 2011.
-
Facultad de Informatica, Universidad Complutense de Madrid (on web services). Contact person(s) in Focus: Bravetti. Bravetti is an external collaborator in the Spanish Ministry of Science and Education project TESIS (advanced methodologies and tools for TESting and web servIceS).
-
EPI Carte, INRIA-Nancy Grand Est and LORIA (on implicit computational complexity). Contact person(s) in Focus: Gaboardi. A few short visits during 2011.
-
Institut de Mathématiques de Luminy, Marseille (on lambda-calculi, linear logic and semantics). Contact person(s) in Focus: Dal Lago, Martini. One joint PhD supervision (Michele Alberti) is starting at the end of 2011.
-
Inria EPI Signes, Inria Bordeaux Sud-Ouest (on lambda-calculi, linear logic and semantics). Contact person(s) in Focus: Dal Lago, Martini. Martini visited Signes for a few days in December 2010. One joint PhD supervision (Ivano Ciardelli).